#include <stdio.h>

int main(void)
{
    printf("%.4s\n", "TEST STRING");
    printf("0x%08X\n", 123);

    return 0;
}
